Static testing - PDFSEARCH.IO - Document Search Engine

Static testing
Results: 194

#	Item
81	On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1 Add to Reading List Source URL: www.iste.uni-stuttgart.de Language: English - Date: 2011-09-20 16:23:37 Source code Software testing Program analysis Static program analysis Software bug Software quality Debugging FindBugs ChecKing Software engineering Computer programming Computing
82	Comparing Four Static Analysis Tools for Java Concurrency Bugs Md. Abdullah Al Mamun, Aklima Khanam, Håkan Grahn, and Robert Feldt School of Computing, Blekinge Institute of Technology SE[removed]Karlskrona, Sweden Add to Reading List Source URL: robertfeldt.net Language: English - Date: 2010-12-03 02:49:28 Software review Coverity FindBugs Software bug Jtest Parasoft Application security Software design pattern Code review Software testing Software Computing
83	Software Engineering Technology The Use and Limitations of Static-Analysis Tools to Improve Software Quality S Add to Reading List Source URL: buildsecurityin.us-cert.gov Language: English - Date: 2013-05-20 13:05:09 Software testing Program analysis Procedural programming languages Code coverage Static program analysis C Type system Abstract interpretation Sonar Software engineering Software Computing
84	EMBARGOED until Feb 12th 2013: 7 am EST; 12 midday UK time Your Peers, Your Science Academic Publishing is Evolving Study Shows Consumers Have Few Negative Reactions to the Results of Genetic Testing for Cancer Mutations Add to Reading List Source URL: static.peerj.com Language: English - Date: 2013-07-12 11:02:32 Tumor markers Tumor suppressor genes Breast cancer BRCA mutation Mutation Ribbon symbolism BRCA2 Ovarian cancer Genetic testing Medicine Oncology Genetics
85	Experimental General Relativity • Introduction to GR tests and GW: 5 lectures • GR for Experimentalists • Observing and testing Static GR – Geometrical effects Add to Reading List Source URL: www.gravity.uwa.edu.au Language: English - Date: 2013-02-06 02:01:57 Astronomical observatories Astrophysics Gravitational wave Gravitational lens Gravitational redshift Mass Weak gravitational lensing Strong gravitational lensing Tests of general relativity Physics General relativity Gravitation
86	Building Security In Editor: Gary McGraw, [removed] Static Analysis for Security A Add to Reading List Source URL: www.cigital.com Language: English - Date: 2013-11-26 20:39:28 Software testing Program analysis Hacking Vulnerability Static program analysis Code audit Lint Fortify Software Software bug Software quality Software Computing
87	Static Analysis with LDRA Testbed® Software Technology What is Static Analysis? LDRA Testbed’s Static Analysis enables a project to ensure that a uniform set of programming standards are Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:27:55 Software engineering Program analysis Software development Liverpool Data Research Associates Coverity Software testing Software metrics LDRA Testbed
88	DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2002-12-20 10:55:12 Software Polyspace Science Embedded systems Model checking Software verification Abstract interpretation Worst-case execution time Software development process Software development Software testing Formal methods
89	Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs {livshits, lam}@cs.stanford.edu Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-22 04:27:24 Software bugs Static program analysis Software testing Pointer C Security bug Shape analysis Vulnerability Computing Software engineering Computer programming
90	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing

UPDATE